1.0 !_instance_hypernym(A,B) v !_member_meronym(B,C) v _hypernym(C,A)
1.0 !_derivationally_related_form(A,B) v _derivationally_related_form(B,A)
1.0 !_verb_group(A,B) v !_derivationally_related_form(B,C) v _derivationally_related_form(C,A)
1.0 !_has_part(B,A) v !_synset_domain_topic_of(C,B) v _instance_hypernym(C,A)
1.0 !_synset_domain_topic_of(B,A) v _instance_hypernym(B,A)
1.0 !_also_see(A,B) v _also_see(B,A)
1.0 !_also_see(A,B) v !_also_see(B,C) v _also_see(C,A)
1.0 !_member_meronym(B,A) v !_member_meronym(C,B) v _member_meronym(C,A)
1.0 !_instance_hypernym(B,A) v !_has_part(B,C) v _synset_domain_topic_of(C,A)
1.0 !_synset_domain_topic_of(A,B) v !_synset_domain_topic_of(B,C) v _has_part(C,A)
1.0 !_synset_domain_topic_of(A,B) v _has_part(B,A)
1.0 !_member_of_domain_usage(B,A) v !_member_of_domain_usage(C,B) v _member_of_domain_usage(C,A)
1.0 !_member_of_domain_region(B,A) v !_member_of_domain_region(C,B) v _member_of_domain_region(C,A)
1.0 !_verb_group(A,B) v _verb_group(B,A)
1.0 !_derivationally_related_form(A,B) v !_verb_group(B,C) v _verb_group(C,A)
1.0 !_similar_to(A,B) v _similar_to(B,A)
1.0 !_similar_to(A,B) v !_similar_to(B,C) v _similar_to(C,A)
1.0 !_verb_group(B,A) v !_hypernym(B,C) v _hypernym(A,C)
1.0 !_instance_hypernym(A,B) v !_instance_hypernym(B,C) v _instance_hypernym(A,C)
1.0 !_derivationally_related_form(A,B) v !_synset_domain_topic_of(C,B) v _member_meronym(A,C)
1.0 !_synset_domain_topic_of(B,A) v _member_meronym(A,B)
1.0 !_synset_domain_topic_of(A,B) v !_synset_domain_topic_of(B,C) v _synset_domain_topic_of(A,C)
1.0 !_synset_domain_topic_of(B,A) v !_instance_hypernym(C,B) v _member_of_domain_usage(A,C)
1.0 !_instance_hypernym(B,A) v _member_of_domain_usage(A,B)
1.0 !_synset_domain_topic_of(B,A) v !_hypernym(C,B) v _member_of_domain_region(A,C)
1.0 !_hypernym(B,A) v _member_of_domain_region(A,B)